翻訳と辞書
Words near each other
・ logic programming
・ logic replacement technology
・ logic variable
・ logical
・ logical address
・ logical block addressing
・ logical complement
・ logical interchange format
・ logical link control
・ logical link control and adaptation protocol
logical relation
・ logical shift
・ logical shift left
・ logical shift right
・ logical unit
・ logical unit 6.2
・ logical unit number
・ login
・ logiscope
・ loglan


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

logical relation : FOLDOC
logical relation
A relation R satisfying
f R g <=> For all a, b, a R b => f a R g b
This definition, by Plotkin, can be used to extend the definition of a relation on the types of a and b to a relation on functions.



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.